+RTS -M100M -A10M -RTS
--no-double-check
